domain of transitivity

[数] 可递域